johnstone's mastiff bateleutherodactylus johnstonei: antilles coquiotomops formosus: javan mastiff batotomops madagascariensis: madagascar free-tailed bat